Blar i SINTEF Open på forfatter "Elgesem, Dag"
-
Specifying Policies Using UML Sequence Diagrams - An Evaluation Based on a Case Study
Solhaug, Bjørnar; Elgesem, Dag; Stølen, Ketil (Research report, 2007)This report provides a case study based evaluation of UML sequence diagrams as a notation for policy specification. Policy rules are defined on the basis of deontic logic, and provided a trace based semantics interpreted ...